Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
61	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
62	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:20 Theoretical computer science Process calculi -calculus Limit of a function Mathematics Cognitive science
63	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
64	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics
65	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
66	Memory Bounded Inference in Topic Models Ryan Gomes GOMES @ VISION . CALTECH . EDU Dept. of Computation and Neural Systems, California Institute of Technology, Pasadena, CAUSA Max Welling Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-12 18:11:33 Estimation theory Expectation–maximization algorithm Missing data Mixture model Latent Dirichlet allocation Dirichlet process Time complexity Calculus of variations Statistics Theoretical computer science Statistical natural language processing
67	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
68	BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-10 12:36:02 Logic in computer science Process calculi Sheaf theory Π-calculus Programming language semantics Bisimulation Presheaf Coinduction Process calculus Mathematics Theoretical computer science Applied mathematics
69	Proof-Carrying Code in a Session-Typed Process Calculus Frank Pfenning1 , Luis Caires2 , and Bernardo Toninho1,2 1 2 Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:13
70	Poster:Measuring Location Privacy with Process calculus GUO Yunchuan, YIN Lihua, LI Chao CUI Xiang Institute of Information Engineering Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-05-17 10:01:43

UPDATE